| author | Jaromír Mikeš <mira.mikes@seznam.cz> | |
| Mon, 26 Jun 2017 09:51:55 +0000 (11:51 +0200) | ||
| committer | Jaromír Mikeš <mira.mikes@seznam.cz> | |
| Mon, 26 Jun 2017 09:51:55 +0000 (11:51 +0200) | ||
| commit | 652045a323da9ecc39b6bb08e6d0be9764b037ea | |
| tree | 25425a57f4b2033ac564edff8b42ef7a08c50c09 | tree | snapshot |
| parent | 06a9a2a7c98a1df1141371f6b7479cd2c8af98e5 | commit | diff |
| debian/patches/02-rtmidi-pkgconfig.patch | diff | blob | history |